1. Leveraging Applications of Formal Methods, Verification and Validation
Author: edited by Tiziana Margaria, Bernhard Steffen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer simulation.,Computer system performance.,Software engineering.
